|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Members of the team have applied for the following three international projects. All three are still pending, the final results are not currently know.
Overall Objectives
Research Program
Application Domains
New Results
- Highlights of the Year
- Modular Systems for Classical and Intuitionistic Logic
- Nested Sequents for Constructive Modal Logics
- Intuitionistic Logic in the Calculus of Structures
- Free Theorems for Curry
- A logical basis for quantum evolution and entanglement
- On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems
- A multi-focused proof system isomorphic to expansion proofs
- Equality and fixpoints in the calculus of structures
- Automatically deriving schematic theorems for dynamic contexts
- A two-level logic approach for reasoning about typed specification languages
- Undecidability of multiplicative subexponential logic
- Meta-theoretic results on type isomorphisms in the presence of sums
- Towards proof canonicity in presence of disjunction and induction
- Interpretation of the Sigma-2-classical Axiom of Choice in System T
- Axiomatization of constraint systems for first-order reasoning modulo a theory
- Realisability models for cut-elimination in focused systems
- Refining the FPC framework
- Structuring a refinement engine using logic programming
Partnerships and Cooperations
Bibliography